Ada in Real-time Embedded System

Embedded Real-Time System Considerations

..................................................................................................................................................

Real-time SVC Decoder in Embedded System

Scalable Video Coding (SVC) has been standardized as an annexure to the already existing H.264 specification to bring more scalability into the already existing video standard, keeping the compatibility with it. Naturally, the immediate support for this in embedded system will be based on the existing implementations of H.264. This paper deals with the implementation of SVC decoder in SoC built...

Concurrent and real-time programming in Ada

Embedded vision system for real-time applications

There is an increasing demand for low-power, low-cost, realtime vision systems able to perform a reliable analysis of a visual scene: especially in environments where the lighting is not controlled. In the automotive industry, for instance, there are many potential applications including lane-departure warnings, seat-occupancy detection, blind-angle monitoring and pedestrian detection. But ther...

Automation of Real-time Embedded System Design

The goal of this paper is to present a tool for automation of designing of real-time embedded system which time-behaviour description is based on formal methods approach. Formal description of the system is based on timed automata diagrams and its temporal logic verification. The purpose of this tool is to automate process of transferring timed automata diagrams into real-time operating system ...